Make ioemu dir configurable and change prefix to /usr (works with old and new ioemu).

Signed-off-by: Christian Limpach <Christian.Limpach@xensource.com>

diff --git a/tools/Makefile b/tools/Makefile
index 6c490852a9d783e2a6889665f10d759d190b2bb1..ac41f2f32177f8ee859e33a8726e5cc0156ec2e6 100644 (file)
--- a/tools/Makefile
+++ b/tools/Makefile
@@ -58,10 +58,11 @@ check_clean:
 
 .PHONY: ioemu ioemuinstall ioemuclean
 ifdef CONFIG_IOEMU
+export IOEMU_DIR ?= ioemu
 ioemu ioemuinstall ioemuclean:
-       [ -f ioemu/config-host.h ] || \
-       (cd ioemu; sh ./configure --prefix=usr)
-       $(MAKE) -C ioemu $(patsubst ioemu%,%,$@)
+       [ -f $(IOEMU_DIR)/config-host.h ] || \
+       (cd $(IOEMU_DIR) && sh configure --prefix=/usr)
+       $(MAKE) -C $(IOEMU_DIR) $(patsubst ioemu%,%,$@)
 else
 ioemu ioemuinstall ioemuclean:
 endif